sum_(n=0)^+\infty atan(1/2^n)